A strict boundary domination lets a holomorphic perturbation keep the same interior zero count. Keeping the exact identity in view prevents the geometric or probabilistic intuition from drifting.
The data
A holomorphic function \(f:U\to\mathbf C\) has a complex derivative independent of direction. Cauchy's integral formula controls each value \(f^{(n)}(a)\) from boundary data.
There are two layers here: the object \(\mathsf D\) and the law \(\mathsf C\). Writing them separately makes the direction of \(\Longrightarrow\) visible and keeps an accidental converse from slipping in.
Derivation
An explicit case prevents the notation from becoming ceremonial. Every subscript and superscript in the display contributes to the value.
Invariant content
What survives the example is not its particular numbers but the relation encoded by the two rows below. That relation is the part worth transporting to a new setting.
Scope
Contour formulas require orientation, winding number, and hypotheses about singularities. A pole on the contour cannot be ignored.
The final box is a summary, not a new assumption; the proof still lives in the definitions and the intervening calculation. The source keeps each scope delimiter visible for later inspection.