so we're totally done with v before we even start to consider u. so therefore for the same reasons, since v's recursive call finishes first, its label is going to be larger, which is exactly what we wanted to prove.