User:Harmonicmap/draft/brenier polar factorization