Доказательство теоремы Пифагора. Обратная теорема