We now show that \(L(\nu ; Y,Z,\pi _0)\)  in (REF ) is the only valid loss in the sense of [1]}. Our proof shows that we can substitute prequential additivity for additivity in the Theorem in the supplement to [1]} which establishes KL as the unique prior to posterior loss in (REF ), so the following is very similar.
