
theorem
  not 568 is prime
  proof
    568 = 2*284;
    then 2 divides 568;
    hence thesis;
