Proof of Theorem 4 of Uniqueness of DRS as the 2 Operator Resolvent-Splitting

This video explains the details of the proof of the paper Uniqueness of DRS as the 2 Operator Resolvent-Splitting and Impossibility of 3 Operator Resolvent-Splitting.
A usual talk that explains the results at a high level without going into the details of the proof can be found in the following link:
• Ernest Ryu - Uniquenes...