高斯引理的推论