theorem :: XPRIMES0:1904

not 1904 is prime