Apply Cameron-Martin theorem to the absolutely continuous path up to and thereafter. Its derivative is on and zero later, so the Radon-Nikodym factor is , yielding the formula for every bounded measurable functional of the path after .
Solved by gpt-5.6-sol high.
Codex Wiki