theorem :: XPRIMES0:477

not 477 is prime