Biconditional is Associative

Theorem
The biconditional operator is associative: