
theorem
  not 237 is prime
  proof
    237 = 3*79;
    then 3 divides 237;
    hence thesis;
  end;
