
theorem
  not 1668 is prime
  proof
    1668 = 2*834;
    then 2 divides 1668;
    hence thesis;
