theorem :: XPRIMES1:587

587 is prime