The recursion theoretic limit lemma, saying that each function with a Sigma(n+2) graphs is a limit of certain function with a Delta (n+1) graph, is provable in B Sigma (n+1).
