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