theorem :: XPRIMES0:555

not 555 is prime