
theorem
  not 323 is prime
  proof
    323 = 17*19;
    then 17 divides 323;
    hence thesis;
  end;
