Теорема, обратная теореме Пифагора