A Proofs of Linear Case Throughout the appendix, for ease of notation, we overload the definition of the function d