Teorema di finitezza