theorem :: XPRIMES0:482

not 482 is prime