Proof of Theorem 1 (p. 340) — a query answered in $k$ steps reaches only nodes accessible in $k$ steps

Initializing...

Proof of Theorem 1 (p. 340) — a query answered in $k$ steps reaches only nodes accessible in $k$ steps · Prove2Me