I'm reading a proof of the type decomposition theorem for von Neumann algebras (into a direct sum of 3 von Neumann algebras which are in turn of type 1,2,3)
One constructs maximal projections $p^1,p^2,p^3\in M$ so that $p^i$ is the largest central projection with $p^iM$ being of type $i$. These three projections are easily seen to be pairwise orthogonal. Now it remains to show that $1=p^1+p^2+p^3$. One does that by showing $q=1-p^1-p^2-p^3$ is the null projection.
The author goes on to show that $qM$ does not contain any non-zero finite projections(so $qM$ can't be of types 1,2) and that it can't be of type 3 either. Why does that imply that $q=0$ ?
I can't give a reference since the source is a lecture I attend.