Rule of Association/Conjunction

Theorem
Conjunction is associative:

Also see

 * Rule of Commutation