theorem :: XPRIMES0:1926

not 1926 is prime