\contentsline {\let N}{{\translate {Theorem}}{1}{~\cite {BCVC10:ir}}}