263. Параграф 7. Доведення нерівностей