Glöckner H, Willis GA. Locally pro-p contraction groups are nilpotent. J Reine Angew Math. 2021;781:85–103. doi:10.1515/crelle-2021-0050