展开 杜布瓦雷蒙引理