В разборе говорится что
Set l=lca(a,b). Note that, until reaching l, every possible process still has the same probability of reaching b before a as it did when the first node was chosen. Therefore, we can assume that the process has reached l and calculate the probability from there