By inductive assumption, u.distance is the length of some path from source to u.
Theo giả thiết quy nạp, khoảng_cách(u) là độ dài của một đường đi nào đó từ nguồn tới u.