Proof. There are n queues in each IM. If the occupation of the
cache reaches nðn 1Þ þ 1 cells, then one of the VOMQs
must have a full batch in the cache. This batch is then distributed
to the n distinct memory units. As a result, the
cache has enough spare space for n new cells.