“…Proof. The test functions (v, q, g, k, ρ) are set to (û, p, f , ĥ, x) in the derivative problem (19) and to ( u, p, f , h, x) in the adjoint problem (23), and the combination (19a) + (19b) + (19c) + (19d) − (23a) + (23b) − (23c) − (23d) then evaluated (using û = ∂ f G on Γ, implied by (23b), along the way). This results in…”