1. In this section, we want to show that the class number of an algebraic number field is finite.