これによればformula_2とformula_10との間の複雑さを持つ指標はそもそも存在しないから、複雑さformula_10程度で計算可能な関数で複雑さformula_2程度でも計算可能なものが存在する、というわけではない。