\relax 
\newlabel{discprod}{{9}{4}}