
theorem
  not 228 is prime
  proof
    228 = 2*114;
    then 2 divides 228;
    hence thesis;
