theorem :: XPRIMES0:1712

not 1712 is prime