Stav dette: Cartesian products as profinite completions