
$f\equiv\prod_{1\le i\le
g}\overline{\vphantom{T}U_i}^{e_i}\pmod p$
