6.2 Gauss引理