Brauer–Noether theorem