Условие и заключение теоремы: основные понятия