Indução na complexidade da fórmula.