
theorem
  not 1139 is prime
  proof
    1139 = 17*67;
    then 17 divides 1139;
    hence thesis;
  end;
