129. § 13. Теорема Піфагора