
theorem
  not 1842 is prime
  proof
    1842 = 2*921;
    then 2 divides 1842;
    hence thesis;
  end;
