Пусть дано

- вер-ное пр-во.
Пусть дана фильтрация {

}
Пусть дан мартингал, согласованный с этой фильтрацией {

}
Теперь сам вопрос: верно ли, что
![$\mathbb{E}[\mathbb{E}[X_s|F_{t+p}]F_t] = \mathbb{E}[X_s|F_t]$ $\mathbb{E}[\mathbb{E}[X_s|F_{t+p}]F_t] = \mathbb{E}[X_s|F_t]$](https://dxdy-04.korotkov.co.uk/f/7/3/7/7379fa5a101909bd07b921ce7488b6a482.png)
, где

Итак, можно расписать МО как:
Теперь, т.к. внутри стоит величина, определенная на большей сигма-алгебре ( вспомним, что у нас дана фильтрация ), то, фактически, мы интегрируем по меньшей сигма-алгебре =>