
theorem
  not 312 is prime
  proof
    312 = 2*156;
    then 2 divides 312;
    hence thesis;
