“…ii) =⇒ (iii) From[26, Theorem 3.2], Z ∈ A{GD} if and only if for arbitrary T, W ,Z = A GD + (I − P A k )T (I − P A ) + (I − Q A )W (I − P A k ), where P A k = A k (A GD ) k , P A = AA GDand Q A = A GD A. Now, it is easy to see that, for arbitrary T and W , X satisfies equations of system (4.1) becauseP A A k = A k and P A k A k = A k .…”