Статьи в словаре Ефремовой
1. Теорема, необходимая только для доказательства другой теоремы (в математике).
