
theorem
  not 1434 is prime
  proof
    1434 = 2*717;
    then 2 divides 1434;
    hence thesis;
  end;
