theorem :: XPRIMES0:1522

not 1522 is prime