theorem :: XPRIMES0:1717

not 1717 is prime