Wikipedia states (link below) that by the Eckart-Young-Mirsky theorem, the SVD provides the best low rank matrix approximation (on the basis of Frobenius norm of the error matrix) for any matrix A in R^m*n where m>=n.
Does this mean that the SVD is only proven to be the best approximation for over determined matrices? Does the proof not hold or is there no proof for under determined matrices with more columns than rows?