theorem :: XPRIMES0:1716

not 1716 is prime