adding outline to proof.tex for realizability of unoriented graphs