题目和我的步骤在这里。

关于我的抽屉原理的论证，发现有问题如下：

既然 $\text{C}^2_9>2^4$ 可以，那么 $\text{C}^2_8,\text{C}^2_7>2^4$ 也无矛盾。

为什么 $9$ 可以呢？因为 $7,8$ 中大于 $2^4$ 由抽屉原理满足 $\operatorname{Nsq} ab=\operatorname{Nsq} cd$ 的可能存在 $a,b,c,d$ 有元相等的情况。

那么，如何用数学语言说明论证在 $n=9$ 时，一定存在没有公共元的abcd呢？