
theorem
  not 1068 is prime
  proof
    1068 = 2*534;
    then 2 divides 1068;
    hence thesis;
