
theorem
  not 592 is prime
  proof
    592 = 2*296;
    then 2 divides 592;
    hence thesis;
