theorem :: XPRIMES0:559

not 559 is prime