Proof. sketch (TODO) [17010A]