theorem :: XPRIMES0:406

not 406 is prime