theorem :: XPRIMES0:1734

not 1734 is prime