theorem :: XPRIMES0:554

not 554 is prime