  This is a supplementary material to "Realization of three-port spring
networks with inerter for effective mechanical control" [1], which provides the
detailed proofs of some results. For more background information, refer to
[2]-[32] and references therein.
