@peterrowlett @notonlyahatrack @aperiodical @jamesgrime consider it a special case of the lemma being portrayed.