 Without loss of generality, only the space spanned by the columns of formula_25 need be considered.Let formula_33 be a basis for the column space of formula_25, and let the space spanned by formula_33 be denoted by formula_36.It follows from the definition of a sufficient dimension reduction that

where formula_38 denotes the appropriate distribution function.