Analytic induction
[es] Inducción analítica