
theorem
  not 310 is prime
  proof
    310 = 2*155;
    then 2 divides 310;
    hence thesis;
