
theorem
  not 1821 is prime
  proof
    1821 = 3*607;
    then 3 divides 1821;
    hence thesis;
  end;
