Bài tập 2, Phụ lục 0

Cho S là một tập hợp các ký hiệu, cho $A$ là một từ có nghĩa trong $L_0(S)$, và giả sử rằng $A = A'BA''$, trong đó $B$ là có nghĩa. Chứng minh rằng, nếu $C$ là một từ có nghĩa, thì từ $A'CA''$ là có nghĩa. (Dùng Bài tập 1.)