
theorem
  not 1480 is prime
  proof
    1480 = 2*740;
    then 2 divides 1480;
    hence thesis;
