  This is a technical report, containing all the theorem proofs in the
following two papers: (1) Liang Ma, Ting He, Kin K. Leung, Ananthram Swami, and
Don Towsley, "Identifiability of Link Metrics Based on End-to-end Path
Measurements," in ACM IMC, 2013. (2) Liang Ma, Ting He, Kin K. Leung, Ananthram
Swami, and Don Towsley, "Inferring Link Metrics from End-to-end Path
Measurements: Identifiability and Monitor Placement," IEEE/ACM Transactions on
Networking, vol. 22, no. 4, pp. 1351-1368, 2014.
