Real polarization and complexification

On the witness, write

The real inputs and their sums are smooth. Thus $B_{\mathbb{C}}({{\gamma }_1}^{\lambda },{{\gamma }_2}^{\lambda })$ is defined using real response evaluations. It does not require invoking a predecessor theorem directly on complex metric perturbations.

Set