Es ist

${\displaystyle {}M=T\uplus (M\setminus T)\,}$

eine disjunkte Zerlegung. Daher gilt nach Fakt

${\displaystyle {}m={\#\left(M\right)}={\#\left(T\right)}+{\#\left(M\setminus T\right)}=k+{\#\left(M\setminus T\right)}\,.}$

Somit erfüllt ${\displaystyle {}{\#\left(M\setminus T\right)}}$ die charakteristische Eigenschaft der Differenz und ist daher gleich ${\displaystyle {}m-k}$.