\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\citation{A}
\citation{P}
\citation{A}
\citation{P}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
\citation{B3}
\citation{B1}
\citation{AR}
\citation{B2}
\citation{N}
\citation{Z}
\citation{F}
\citation{W}
\citation{AAR}
\citation{MOS}
\citation{B3}
\@writefile{toc}{\contentsline {section}{\numberline {2}The Proof}{3}{section.2}}
\bibcite{AR}{1}
\bibcite{AAR}{2}
\bibcite{A}{3}
\bibcite{B1}{4}
\bibcite{B2}{5}
\bibcite{B3}{6}
\bibcite{F}{7}
\bibcite{MOS}{8}
\bibcite{N}{9}
\bibcite{P}{10}
\bibcite{W}{11}
\bibcite{Z}{12}
\@writefile{toc}{\contentsline {section}{\numberline {3}Acknowledgments}{6}{section.3}}