
theorem
  not 658 is prime
  proof
    658 = 2*329;
    then 2 divides 658;
    hence thesis;
