主要用May谱序列证明了非平凡的乘积b0k0δs+4∈ExtAs+8,t(Zp,Zp),其中p是大于等于7的素数,0≤s<p-4,q=2(p-1),t=(s+4)p3q+(s+3)p2q+(s+5)pq+(s+2)q+s.