theorem :: XPRIMES0:106

not 106 is prime