This document provides thorough derivations of the key theorem and corollary established in the main paper. Additionally, this document provides minor technical clarifications, which do not affect the self-sufficiency of the main paper.
Adilkhan Salkimbayev (Tue,) studied this question.