theorem :: XPRIMES0:1127

not 1127 is prime