theorem :: XPRIMES1:127

127 is prime