theorem :: XPRIMES0:1726

not 1726 is prime