
theorem
  not 1486 is prime
  proof
    1486 = 2*743;
    then 2 divides 1486;
    hence thesis;
