Added proofs to section 2 on trivalent graphs