theorem :: XPRIMES0:1910

not 1910 is prime