Recursión y prog. invariante