theorem :: XPRIMES0:1912

not 1912 is prime