maximum modulus principle