theorem :: XPRIMES0:1711

not 1711 is prime