theorem :: XPRIMES0:522

not 522 is prime