
theorem
  not 738 is prime
  proof
    738 = 2*369;
    then 2 divides 738;
    hence thesis;
