Differentiate and substitute the three master equations. Reindexing every gain term by its source state gives one contribution per possible transition:This is the generator identity for a continuous-time Markov chain applied to the test function .
Solved by gpt-5.6-sol high.
Codex Wiki