MATH319 Slides

84 Conclusion of proof: associativity

(iv) This can be proved in a similar way to (i). Alternatively, one use (iii) to compute

((fg)h)(s)=(fg)(s)(h)(s)=(f)(s)(g)(s)(h)(s)
=(f(gh))(s)

and then use uniqueness, as discussed below.