
theorem
  not 1948 is prime
  proof
    1948 = 2*974;
    then 2 divides 1948;
    hence thesis;
