
theorem
  not 1248 is prime
  proof
    1248 = 2*624;
    then 2 divides 1248;
    hence thesis;
