
which, by the three point identity in [1]}, yields theor:affine:character:PrightCf:innp \(\Rightarrow \)  theor:affine:character:PrightCf:D. On the other hand, by defn:BregmanDistance, we know that theor:affine:character:PrightCf:D
\(\Rightarrow \)  theor:affine:character:PrightCf:=. Altogether, we obtain that theor:affine:character:PrightCf:= \(\Leftrightarrow \)  theor:affine:character:PrightCf:innp \(\Leftrightarrow \)  theor:affine:character:PrightCf:D.
