Brill–Noether theorem