
theorem
  not 750 is prime
  proof
    750 = 2*375;
    then 2 divides 750;
    hence thesis;
