theorem :: XPRIMES0:122

not 122 is prime