General_Associativity_Theorem