
theorem
  not 1836 is prime
  proof
    1836 = 2*918;
    then 2 divides 1836;
    hence thesis;
  end;
