右可逆律
right invertible