theorem :: XPRIMES0:480

not 480 is prime