[[1]}]
Let \(\underline{P}_{}\)  be a coherent lower prevision on \({L}_{}\) .
Then \(\underline{P}_{}\)  is a linear prevision on \({L}_{}\)  if and only if \(\smash{\underline{P}_{}(f)=\overline{P}_{}(f)}\)  for all \(f\in {L}_{}\) .
