
theorem
  not 299 is prime
  proof
    299 = 13*23;
    then 13 divides 299;
    hence thesis;
  end;
