theorem :: XPRIMES0:481

not 481 is prime