
theorem
  not 591 is prime
  proof
    591 = 3*197;
    then 3 divides 591;
    hence thesis;
  end;
