theorem :: XPRIMES0:1144

not 1144 is prime