Corollary 3.6: IID covering