Proof of Lemma 3.1. Decompose the prescribed vertex set into the critical layers used in the paper and apply the $d=1/2$ bipartite comb lemma to each layer. If no layer yields a comb, normalized estimates for the hubs, their neighborhoods, and the covered residual sets contradict the partition identity.