An observation on definable bi-Lipschitz homeomorphism - Tạ, Lê Lợi (2023)