Corollary 3.31. Assuming that:

Then M[G]⊨2ℵ0≤λ.