
theorem
  not 632 is prime
  proof
    632 = 2*316;
    then 2 divides 632;
    hence thesis;
  end;
