Hilbert Projection Theorem for Mean-Square Prediction