Գրեք սա: Cartesian products as profinite completions