Round-six lemma `fit_PE`