theorem :: XPRIMES0:1919

not 1919 is prime