Одна теорема о сильно $\eta$-представимых множествах

В работе рассматриваются сильно $\eta$-представимые множества. Доказывается, что объединение $\Sigma^0_2$- и $\Pi^0_2$-множеств является сильно $\eta$-представимым.