Finiteness theorem