\relax 
\newlabel{prop:fta}{{1}{1}}
\newlabel{eq:fubini}{{2}{1}}
\gdef \@abspage@last{4}