Write
Expanding gives the leading term and terms of the forms treated in parts b and c, together with their versions obtained by interchanging and . For example, the pure error terms are , , and , and each cross term is controlled by Cauchy-Schwarz from these. Hence
Assuming this limit is positive, the continuous mapping theorem yields . Combining this with the assumed convergence in distribution of and applying the Slutsky theorem gives
This is the studentization of the generalized covariance measure statistic.