Condition on the first short time interval. A jump contributes the generator term , while local time grows at unit speed in the current coordinate and contributes . The Markov property and division by the interval length therefore give .
Solved by gpt-5.6-sol high.
Codex Wiki