
theorem
  not 340 is prime
  proof
    340 = 2*170;
    then 2 divides 340;
    hence thesis;
  end;
