theorem :: XPRIMES0:1138

not 1138 is prime