
theorem
  not 1324 is prime
  proof
    1324 = 2*662;
    then 2 divides 1324;
    hence thesis;
  end;
