Finiteness of the ideal class group

Bounded-norm representatives prove class-group finiteness because only finitely many integral ideals have norm at most a fixed constant.