De Branges' theorem