theorem :: XPRIMES0:1477

not 1477 is prime