theorem :: XPRIMES1:599

599 is prime