Original: For all a , b and c in R , the equation a · ( b + c ) = ( a · b ) + ( a · c ) holds .
Simplified: For all a , b and c in R , the equation ( a + b ) + c = a + ( b + c ) holds .