theorem :: XPRIMES0:486

not 486 is prime