Original: Associativity of addition: For any integers, a, b and c, (a + b) + c = a + (b + c).
Simplified: For all a, b and c in R, the equation (a + b) + c = a + (b + c) holds.