theorem :: XPRIMES0:1718

not 1718 is prime