theorem :: XPRIMES0:1771

not 1771 is prime