theorem :: XPRIMES0:556

not 556 is prime