theorem :: XPRIMES0:558

not 558 is prime