Теорема обратная теореме пифагора формулировка Примеры теорем обратных данных