Round-six lemma `fit_ddle`