Corollary 6.6. Assuming that:

Then