theorem :: XPRIMES0:1426

not 1426 is prime