
theorem
  not 1782 is prime
  proof
    1782 = 2*891;
    then 2 divides 1782;
    hence thesis;
