theorem :: XPRIMES0:1603

not 1603 is prime