MoreProp: Adds proof of combine_odd_even