Open mapping theorem, Maximum modulus theorem