theorem :: XPRIMES0:1506

not 1506 is prime