PROPIEDADES DE LAS DEFINICIONES/ALGORITMOS RECURSIVOS:
● No debe generar una secuencia infinita de llamadas así mismo, dicho de otro modo ha de
existir al menos un caso base.
● Una función recursiva f debe definirse en términos que no impliquen a f al menos en un
argumento o grupo de argumentos.
● Debe existir una "salida" de la secuencia de llamadas recursivas.
● Cada llamada recurrente se debería definir sobre un problema de menor complejidad (algo
más fácil de resolver).