
theorem
  not 936 is prime
  proof
    936 = 2*468;
    then 2 divides 936;
    hence thesis;
