Реферат. Загальні відомості про доведення.