
theorem
  not 586 is prime
  proof
    586 = 2*293;
    then 2 divides 586;
    hence thesis;
