利普希兹连续的推论