Tożsamość Halla-Witta