theorem :: XPRIMES0:1745

not 1745 is prime