First version of finiteness theorem

Very rough