
theorem
  not 69 is prime
  proof
    69 = 3*23;
    then 3 divides 69;
    hence thesis;
  end;
