Response to comments on the applicability of the WARP algorithm and a formal prove of the complexity reduction it achieves. (January 2017)