“…Subsequently, in a similar way to [12,26] (see more details in Theorem 5.1, Step 2), from (3.3), by the compactness of the trace operator, the upper semicontinuity of the function R × R (r, s) → j 0 (x, r; s) ∈ R for a.e. x ∈ Γ 3 and H( j)(d), we prove that j 0 (x, η; b − η) = 0 a.e.…”