
theorem
  not 156 is prime
  proof
    156 = 2*78;
    then 2 divides 156;
    hence thesis;
