Added a proof to section 2 on trivalent graphs