de Branges's theorem
In complex analysis, de Branges's theorem, or the Bieberbach conjecture, is a theorem that gives a necessary condition on a holomorphic function in order for it to map the open unit disk of the complex plane injectively to the complex plane. It was posed by LudwigBieberbach (1916) and finally proven by Louisde Branges (1985).