 Theorem. Suppose that \(\Bel_{{\bf A}^{\Pr}}\) satisfies all AGM postulates and for all \(E\in{\bf A}^{\Pr},\) \(A\in \Bel_E\) only if \(\Pr(A|E)&gt;r.\) Then, for all \(E\in{\bf A}^{\Pr},\) \(\langle \Bel_E, \Pr_E \rangle\) satisfy \(\text{HT}^r\). 