引理1
正比于其差的几个量连续正比。
则由相减法,
证毕。