A theorem on the principal components inference