Theorem 4.5. Assuming that:

Then G has size at most 2n22.