Talk:Hartogs–Rosenthal theorem