2.147. Sformuluj twierdzenie Pitagorasa w postaci implikacji. Wypisz założenia i tezę. Następnie zapisz twierdzenie odwrotne do twierdzenia Pitagorasa; podaj za lożenie i tezę tego twierdzenia.