
theorem
  not 837 is prime
  proof
    837 = 3*279;
    then 3 divides 837;
    hence thesis;
  end;
