Corollary 3.31. Assuming that:

Then M[G]20λ.