施瓦兹引理的应用