
theorem
  not 993 is prime
  proof
    993 = 3*331;
    then 3 divides 993;
    hence thesis;
  end;
