theorem :: XPRIMES0:1732

not 1732 is prime