
theorem
  not 440 is prime
  proof
    440 = 2*220;
    then 2 divides 440;
    hence thesis;
  end;
