finiteness of class number