
theorem
  not 681 is prime
  proof
    681 = 3*227;
    then 3 divides 681;
    hence thesis;
  end;
