proving the imputation of the righteousness of Christ