定理 1.3.1 (乘法公式)

设 为概率空间, 且 , 则

证明

反复应用 (1.3.2), 有