added a few rows in proof of Rplus_assoc