Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-4/4i/iii/solution

In every derivation beginning at , the terminal prefix remains unchanged because no production has a terminal on its left-hand side. By the sentential-form result, each step rewrites the sole variable at the right and appends terminals immediately before its successor variable. Hence
forces for some . Removing the inert prefix from every sentential form in the derivation gives

New to topics? Read the docs here!