Phragmen–Brouwer theorem