s重simplex符号
$ d=sq^{k-1}(s\in\mathbb{N}) のとき、$ [g_q(k,d)=s\theta_{k-1},k,d]_q 符号が存在する
$ \Sigma_s=PG(k-1,q)な符号
つまり、$ \Sigmaの全点がs-点である