Слишком много читать. Тут легче всего доказательство пойдет от противного: а вот допустим, что есть какой-то вектор в R, который не выражается через базис в R'
Ну, а если интеграл на -бесконечность может убежать? Тогда фиг нам, а не предел Поэтому надо понимать, что мы ограничили сверху, и даже большая величина стремится к нулю, и ограничили снизу (отрицательный ответ у нас всяко получиться не может)