абстрактная теорема

Мат. abstract theorem