Finiteness of class number