theorem :: XPRIMES0:1528

not 1528 is prime