
theorem
  not 240 is prime
  proof
    240 = 2*120;
    then 2 divides 240;
    hence thesis;
