高斯引理

Gauss Lemma