Classical PCA Theorem