
theorem
  not 336 is prime
  proof
    336 = 2*168;
    then 2 divides 336;
    hence thesis;
  end;
