The rest of the lemmas in this section are successive stages in the proof of
Theorem REF , which follows Trudinger's strategy [1]}
adapted to Eq.(REF ) near the boundary \(\partial \Omega \) 
(see Remark REF ).
