лемма
Спасибо я просто в автарии ^_^
ЛЕММА-вспомогательная теорема, необходимая только для доказательства другой теоремы