
theorem
  not 1079 is prime
  proof
    1079 = 13*83;
    then 13 divides 1079;
    hence thesis;
  end;
