theorem :: XPRIMES0:1742

not 1742 is prime