The following pair of lemmas show that for 
, an
unshared-neighbor property is preserved on the working nodes.
Of course, we must also check that the new blocking definition does not result in any inputs of the multi-Benes network becoming blocked. This can be done with an argument similar to that in Lemmas 3.1 and 3.2.
