Give full details of the proof of Theorem 7.2 .
Theorem 7.2 : If L = L (M) for some npda M, then L is a context-free language.
