theorem :: XPRIMES0:1535

not 1535 is prime