theorem :: XPRIMES0:528

not 528 is prime