
theorem
  not 1330 is prime
  proof
    1330 = 2*665;
    then 2 divides 1330;
    hence thesis;
  end;
