Rule of Association/Disjunction

Theorem
Disjunction is associative:

Also see

 * Rule of Commutation