theorem :: XPRIMES0:1872

not 1872 is prime