 Theorem. Suppose that \(\langle \Bel, \Pr \rangle\) satsify \(\text{HT}\) and \(\varnothing \notin \Bel.\) Then, \(\Bel\) is deductively cogent and \(\langle \Bel, \Pr\rangle\) satisfy \(\text{WLT}^{\Pr(\cap \Bel)}.\) 