Mathematical Foundations Of The State Lumping Of Large Systems by Vladimir S. Koroliuk, Vladimir S. Korolyuk & Anatoly F. Turbin