定理 1.3.1 (乘法公式)

为概率空间, , 则

证明

反复应用 (1.3.2), 有