theorem :: XPRIMES0:1530

not 1530 is prime