But this implies that A commutes with any projection EB in the spectral measure of (A*A), which proves the invariant subspace claim. In fact, one can conclude something stronger.
This implies that A interacts with any projection EB in the spectral measure of (A*A), which strengthens the invariant subspace claim. Indeed, one can infer something even more powerful.