Proof of coinitiality of TRI completed