
theorem
  not 40 is prime
  proof
    40 = 2*20;
    then 2 divides 40;
    hence thesis;
