theorem :: XPRIMES0:119

not 119 is prime