theorem :: XPRIMES0:906

not 906 is prime