A rigorous replica trick approach to Anderson localization in one dimension