Show that R is plus
Define combine_odd_even