较早版本.
第一引理.对于布朗运动formula_1和二次可导函数formula_2，以下等式成立：其主要可通过对多项式环到形式幂级数的拓展，例如：
第二引理.对于布朗运动formula_5和二次可导函数formula_6，以下等式成立
第三引理.定义伊藤过程formula_5为满足下列随机微分方程的随机过程对于伊藤过程formula_5和二次可导函数formula_6，以下等式成立
到半鞅的拓展.S