An Interlacing Relation between Eigenvalues and Symplectic Eigenvalues of Some Infinite Dimensional Operators