theorem :: XPRIMES0:485

not 485 is prime