theorem :: XPRIMES0:126

not 126 is prime