For the distinct distances in function fields paper