Czyli \(\displaystyle{ \left( \bold{1}_n+YX \right)^{-1}}\) istnieje i jest równa \(\displaystyle{ \bold{1}_{n}-YZX=\bold{1}_{n}-Y\left( \bold{1}_{m}+XY \right) ^{-1}X}\)
A więc dochodzisz do tego samego wyniku co ja (przy czym rozumujesz inaczej), tzn lewa i prawa odwrotna istnieją i są równe.