对超同余式的研究是组合数论中有一定难度的课题.针对孙智伟提出的超同余式猜想,利用强拆方法(拆分求和为整除k和不整除k两种类型)证明了一个关于gk同余式的特殊情况.对进一步完全证明这个同余式且深化该方向的研究具有一定的意义.