左可逆律
left invertible