theorem :: XPRIMES0:551

not 551 is prime