[math-fun] distinct distances