a variant of Dickson's lemma as an easy consequence of `af-intersection`