令=(A₁，A₂，…，A_n)是具有SDR的集族，令x∈A₁。试证明：存在一个含有x的SDR，并通过例子证明可能找不出一个SDR，使得x代表A₁。