  This is a technical report, containing all the theorem proofs in paper "On
Optimal Monitor Placement for Localizing Node Failures via Network Tomography"
by Liang Ma, Ting He, Ananthram Swami, Don Towsley, and Kin K. Leung, published
in IFIP WG 7.3 Performance, 2015.
