Twierdzenie odwrotne do twierdzenia Pitagorasa