theorem :: XPRIMES0:1896

not 1896 is prime