theorem :: XPRIMES0:1713

not 1713 is prime