Полнота планов последовательного оценивания для винеровских процессов с дрейфом и некоторые теоремы единственности

Рассматривается семейство зависящих от параметра сноса $\lambda$ $n$-мерных винеровских процессов $x_\lambda(t)=\xi(t)+\lambda t$, где $\xi$ – стандартный винеровский процесс. Пусть $\Gamma$ – замкнутое подмножество пространства траекторий $\mathbb R^n\times \mathbb R_+$ (план), причем определяемая первым вхождением траектории процесса $x_\lambda$ в множество $\Gamma$ мepa $\mu_\lambda$ – вероятностная. Дается условие, которым должен удовлетворять план $\Gamma$ для того, чтобы из равенства $\int_\Gamma f(x)\,\mu_\lambda(dx)=0$ для любого $\lambda$ вытекало бы, что $f\equiv0$.