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