
theorem
  not 1886 is prime
  proof
    1886 = 2*943;
    then 2 divides 1886;
    hence thesis;
  end;
