右単位律
right unital