
theorem
  not 268 is prime
  proof
    268 = 2*134;
    then 2 divides 268;
    hence thesis;
