Proof of the second withdrawal and it has free paths

Explanation in the pinned comment ⬇️