theorem :: XPRIMES0:1592

not 1592 is prime