
theorem
  not 226 is prime
  proof
    226 = 2*113;
    then 2 divides 226;
    hence thesis;
