de Branges' theorem