摘要：We establish unconditionally that for every integer $k \geq 1$ there is alanguage $L \in \mbox{P}$ such that it is consistent with Cook's theory PV that$L \notin Size(n^k)$. Our argument is non-constructive and does not provide anexplicit description of this language.
