
theorem
  not 1969 is prime
  proof
    1969 = 11*179;
    then 11 divides 1969;
    hence thesis;
  end;
