
theorem
  not 1210 is prime
  proof
    1210 = 2*605;
    then 2 divides 1210;
    hence thesis;
  end;
