This paper develops ellipticity estimates and discretization error bounds for elliptic equations (with lower-order terms) that are reformulated as a least-squares ...