
theorem
  not 1032 is prime
  proof
    1032 = 2*516;
    then 2 divides 1032;
    hence thesis;
