The proof of the proposition follows the standard result for Kron reduction of a positive semi-definite Hermitian matrix as in [1]} that is used for electrical networks in [2]} or closed CRN in [3]}.
