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