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.
However, this indicates that A interacts with any projection EB within the spectral measure of (A*A), thereby supporting the invariant subspace assertion. In reality, one can draw a stronger conclusion.