引理1

正比于其差的几个量连续正比。

则由相减法,

证毕。