
theorem
  not 1864 is prime
  proof
    1864 = 2*932;
    then 2 divides 1864;
    hence thesis;
  end;
