Wenn man nur umklammern koennen soll, dann allgemeines Assoziativgesetz. Wenn man zusaetzlich noch beliebig umordnen koennen soll (wie hier), dann allgemeines Kommutativgesetz.
(Tipp: Unter den Namen kann man das auch googlen und teilweise mehr Details zum Beweis finden.)