
theorem
  not 93 is prime
  proof
    93 = 3*31;
    then 3 divides 93;
    hence thesis;
  end;
