Proofs and Supplementary Material: Unified Characterization and Precoding for Non-Stationary Channels. (arXiv:2202.01827v1 [eess.SP]) http://arxiv.org/abs/2202.01827