where \({\rm tr}\)  denotes the trace operator. We now show that \(M_{t}(\gamma )\)  is a super-martingale, following the proof of Lemma 2.1 of [1]}. We first state a powerful result of [2]} and then recall a simple corollary that is stated also in [1]}.
