
theorem
  not 1269 is prime
  proof
    1269 = 3*423;
    then 3 divides 1269;
    hence thesis;
  end;
