Use indução na complexidade de $\varphi$