
theorem
  not 1876 is prime
  proof
    1876 = 2*938;
    then 2 divides 1876;
    hence thesis;
