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