La inducción puede empezar por otro término que no sea formula_11, digamos por formula_19.