§ 20. Нерівність трикутника