theorem :: XPRIMES0:1832

not 1832 is prime