Indução sobre as complexidades das fórmulas.