發送短信: Cartesian products as profinite completions