After passing to a subsequence, weak compactness and the Rellich-Kondrachov compactness theorem giveFor fixed , the Sobolev inequality gives , soMeanwhile in . Pairing this weak convergence with the strong convergence of the products, or equivalently using the weak-strong product convergence lemma, yields