We have already observed in Section 3 that, under our assumption on the start symbol S, we have We now observe that, for any A ∈ N with A = S and any t ∈ T (G), we have For each A ∈ N with A = S we can then write Once more we use relation (18), which replaced in (23) provides Notice that the linear system in (14) and (15) and the linear system in (21) and (24) are the same.
we conclude that quantities E p T f (A, t) and out G (A) are the same for each A ∈ N .