
theorem
  not 108 is prime
  proof
    108 = 2*54;
    then 2 divides 108;
    hence thesis;
