
theorem
  not 1930 is prime
  proof
    1930 = 2*965;
    then 2 divides 1930;
    hence thesis;
