Prob. 19, Sec. 2.3, in Herstein's TOPICS IN ALGEBRA, 2nd ed: Bracketing any $n$-tuple of elements in a set with an associative binary operation
How does one actually show from associativity that one can drop parentheses?