
theorem
  not 1468 is prime
  proof
    1468 = 2*734;
    then 2 divides 1468;
    hence thesis;
  end;
