guarantees that the error in the primal variable is close to the projection error of the full solution on the reduced dimensional space that approximates the solution.
гарантирует, что ошибка в переменной изначальная недалеко от проекции ошибка полного решения на снижение мерного пространства, что приближается решение.