Proved by: Not Applicable
References: Not Applicable
Justifications: Not Applicable

Specializations: Not Applicable
Generalizations: Not Applicable

Composition is Associative

Composition is associative:

Proof.