Theorem 1 ([1]}) 
Under Assumption REF , there exists \(\Theta _1 \subseteq \Theta \)  with \(p(\Theta _1) = 1\)  and, for any \({\theta }_1 \in \Theta _1\) , if \(\mathcal {O}_n = \lbrace {o}_1, \ldots , {o}_n \rbrace  \sim p(\cdot \;|\; {\theta }_1) \mbox{ i.i.d.}\)  then, for any neighborhood \(B\)  of \({\theta }_1\) , we have \( \lim _{n\rightarrow \infty } p({\theta } \in B \;|\; \mathcal {O}_n) = 1 \mbox{ a.s. } [ p(\cdot \;|\; {\theta }_1) ].\)

