Congruence of ultrafilters - Boris Šobot (2020)