theorem :: XPRIMES0:562

not 562 is prime