
theorem
  not 1912 is prime
  proof
    1912 = 2*956;
    then 2 divides 1912;
    hence thesis;
