Lemma 43.4.5.label Let $M$ be a von Neumann algebra, $\varphi, \omega \in M^{*}$ be positive linear functionals. If $\omega$ is normal and $\varphi \le \omega$, then $\varphi$ is also normal.