added proofs to second reduction on valence bounded by 3