選んだ88個の補集合は192個である。従って217要素集合Tはその合併と少なくとも25個で交わる。6ブロックの各々がTを高々4個含むなら交わりは24個以下。よってあるブロックが互いに素な5個を含む。障害集合と合わせ、最小値はn=217。