Brauer third main theorem