theorem :: XPRIMES0:1743

not 1743 is prime