Proposition: function composition is associative.
forall A, B, C, D, f: A -> B, g: B -> C, h: C -> D: f o (g o h)=(f o g) o h