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

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