theorem :: XPRIMES0:1916

not 1916 is prime