主張 (2乗可積分マルチンゲールでかつ)とする．このとき がマルチンゲールとなり，しかも という分解を持つものはindistinguishabilityを除いて一意である．ただしとする． 証明 をX,Yの二次変分過程とする． がマルチンゲールであるから，もマルチンゲール…