TAG:初等变换的逆变换规则