теорема обратная теореме пифагора