
theorem
  not 238 is prime
  proof
    238 = 2*119;
    then 2 divides 238;
    hence thesis;
