theorem :: XPRIMES0:1561

not 1561 is prime