[IsTom]

It's not that there "exists n, such that for all theories", but that "for all theories there exists n", that BB(n) will get independent eventually.