theorem :: XPRIMES0:1892

not 1892 is prime