theorem :: XPRIMES0:1703

not 1703 is prime