
theorem
  not 660 is prime
  proof
    660 = 2*330;
    then 2 divides 660;
    hence thesis;
