sentence1: this canonization result was used in to prove that there are only continuum many ultrafilters that are tukey below any fixed ultrafilter that is basically generated by a base that is closed under finite intersections .
sentence2: this is an exact analogue of theorem 17 of , which was established there for all ultrafilters that are basically generated by a base that is closed under finite intersections .