maximum-modulus theorem