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.