Maximum-modulus theorem