\relax 
\newlabel{first}{{1}{92}}
\newlabel{de}{{2}{92}}
\newlabel{second}{{3}{94}}
\newlabel{nice}{{4}{94}}
\newlabel{contra}{{5}{94}}
\newlabel{lemma2}{{6}{95}}
\newlabel{fromnice}{{7}{95}}