theorem :: XPRIMES0:1480

not 1480 is prime