
theorem
  not 1936 is prime
  proof
    1936 = 2*968;
    then 2 divides 1936;
    hence thesis;
  end;
