513. § 11. Теорема косинусів