theorem :: XPRIMES0:426

not 426 is prime