Box Theorem (Bollobás–Thomason)