up:: Group Let be a group, and suppose that there are two identities . Then note that, for any Multiplying on the left by leaves