Supplementary proof for "Exact and approximate construction of digital phase modulations by superposition of AMP" by P. A. Laurent | IEEE Journals & Magazine | IEEE Xplore