theorem :: XPRIMES0:1502

not 1502 is prime