
theorem
  not 306 is prime
  proof
    306 = 2*153;
    then 2 divides 306;
    hence thesis;
