
theorem
  not 1062 is prime
  proof
    1062 = 2*531;
    then 2 divides 1062;
    hence thesis;
