This is supplementary material to Realizations of a special class of admittances with strictly lower complexity than canonical forms [1], which presents the detailed proofs of some results. For more background information, refer to [2]-[22] and references therein.