theorem :: XPRIMES0:1140

not 1140 is prime