
theorem
  not 668 is prime
  proof
    668 = 2*334;
    then 2 divides 668;
    hence thesis;
  end;
