theorem :: XPRIMES0:561

not 561 is prime