Description: Commutative law for the adders sum. (Contributed by Mario Carneiro, 4-Sep-2016) Alternative definition. (Revised by Wolf Lammen, 24-Apr-2024)