Add proof sketch of uniformization