maximum modulus principle
theorem that a holomorphic function’s absolute value cannot reach a strict local maximum at the interior of its domain
theorem that a holomorphic function’s absolute value cannot reach a strict local maximum at the interior of its domain