context-free-grammar - CFG が言語を生成することの証明

Question

同じ数の a と b を持つ偶数回文で構成される言語の CFG を構築し、それがその言語を生成することを証明する必要があります。

これは私が得たCFGです：

S→ アバ | バアブ | 腹筋 | バサブ | ε

それを証明するために何をすべきかわからない（論理的にこれを思いついた）...誰かが私を正しい方向に向けることができれば、私はそれを感謝します。ありがとうございました！