The root is a separate verification route

This lemma is a consequence of a valid root identity on the specified real domain. It does not independently verify the coordinate-field construction in (eq:coordinate-leg), nor extend a compact-test Green theorem to a noncompact forcing.

The supplied XVI-E makes precisely this scalar root reading on the real cosine and sine family and denotes the resulting witness value by $Q_{\lambda }$ XVIE.