theorem :: XPRIMES1:593

593 is prime