  This is a technical report, containing all the theorem proofs in paper "Link
Identifiability in Communication Networks with Two Monitors" by Liang Ma, Ting
He, Kin K. Leung, Ananthram Swami, and Don Towsley, published in IEEE Globecom,
2013.
