theorem :: XPRIMES0:1906

not 1906 is prime