
theorem
  not 232 is prime
  proof
    232 = 2*116;
    then 2 divides 232;
    hence thesis;
