Văn bản này: Cartesian products as profinite completions