Теорема Піфагора. Теорема, обернена до теореми Піфагора