
theorem
  not 610 is prime
  proof
    610 = 2*305;
    then 2 divides 610;
    hence thesis;
  end;
