When \(i=1\), we have \(P_{1}=F_{1}(W(Q),R)\) and one can prove the lemma by a simple counting argument, using the property that \(\forall R\), \(P_{1}=F_{1}(W(Q),R)\) has at most \(|\mathcal{W}|\) choices of values.