7.6 上(下)鞅的分解性质