
theorem
  not 940 is prime
  proof
    940 = 2*470;
    then 2 divides 940;
    hence thesis;
