Input (grade 4): For all a, b and c in R, the equation a · (b + c) = (a · b) + (a · c) holds.
Output (grade 4): For all a, b and c in R, the equation (a + b) + c = a + (b + c) holds.