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