反演律的两个表达式