
theorem
  not 1366 is prime
  proof
    1366 = 2*683;
    then 2 divides 1366;
    hence thesis;
