
theorem
  not 123 is prime
  proof
    123 = 3*41;
    then 3 divides 123;
    hence thesis;
  end;
