§ 7. Доведення нерівностей