$(2)$ Write an equational$-$style proof for the following theorem schema:

$((($A $$ C$)($B$)))($A $$ B $$ C$)(($A $$ C$)$ B$)$