Higher-dimensional extension of the auxiliary elliptic estimate
Higher-dimensional extension of the auxiliary elliptic estimate. The estimate