De Branges%27 theorem

undefined