To establish 1st convergence, we apply the guarantee stated in convergence guarantee, originally from [1]}. It requires us to prove \(\lbrace  \mathbf {P}_t\rbrace \)  meets the conditions in convergence guarantee.
