Definición recursiva: