added proof to second reduction on valence bounded by 3