theorem :: XPRIMES0:1731

not 1731 is prime