Вспомогательную теорему, которая вводится для облегчения доказательства основной теоремы, называют леммой.