Supplementary data for
Reverse Engineering Molecular Hypergraphs
Proceedings of ACM Conference on Bioinformatics, Computational Biology, and Biomedicine 2012.
Ahsanur Rahman, Christopher L. Poirel, David J. Badger, and T. M. Murali
Proof of Lemmas 1 and 2