For any linear system Ax ~ b we define a set of core problems and show that the orthogonal upper bidiagonalization of [b,A] gives such a core problem. In particular we show that these core problems have desirable properties such as minimal dimensions.
When a total least squares problem is solved by first finding a core problem, we show the resulting theory is consistent with earlier generalizations, but much simpler and clearer.