The definition of p A in the proof of Theorem 5 relies on the strings output by A.
by Lemma 4, we can construct a new PCFG (G , p G ) that is proper and consistent, and such that p G (d) = p G (d), for each complete derivation d of G .