Messbarkeitsnachweis

IMG - Messbarkeitsnachweis.png Das heißt X1(B)AX^{-1}(B) \in \mathcal{A} für alle BAB \in \mathcal{A}'.