施瓦茨引理的应用