10.3 引理