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