Prove a theorem listing all of CML’s PEG’s sub-expressions.