theorem :: XPRIMES0:1722

not 1722 is prime