Category:General Associativity Theorem