
theorem
  not 1835 is prime
  proof
    1835 = 5*367;
    then 5 divides 1835;
    hence thesis;
  end;
