引理
120 following