
theorem
  not 726 is prime
  proof
    726 = 2*363;
    then 2 divides 726;
    hence thesis;
