
theorem
  Fermat 5 is non prime by TT;
