On existence of a smooth bounded semiinvariant manifold for a degenerate nonlinear system of difference equations in the space $\mathfrak{m}$ (Neliniini Kolyvannya, 2003)