A Koopman–Takens Theorem: Linear Least Squares Prediction of Nonlinear Time Series