7+(v+w)

7+(v+w) = 7 + v + w