题目大意：
给出n求sn，中括号代表向下取整。
为了方便表述，我们令a = (3k+6)!,b = (3k+7),令c = (a+1)/b也就是式子中的前半部分，d = a/b也就是式子中的后半部分。
观察c，d我们可以知道只有当c为整数时[c-[d]]为1，其他时候都是0，即只有当(a+1)%b==0时[c-[d]] == 1。
威尔逊定理告诉我们：当且仅当p为素数时：( p -1 )! ≡ -1 ( mod p )。
首先我们要介绍一个定理。
拉格朗日定理：群的子群的规模能被群的规模整除，我们在这里只拿乘法群做出证明，可以知道，一个乘法群能够分解成一些相交点只有1的乘法子群。
假设一个规模为n（即模n+1）的乘法群其可以分成m个相交点只有一的乘法子群，我们提出任意两个乘法子群，a1,a2..ax，与b1,b2..by将两子群中元素两两配对，
b1 b2 ... by
a1 a1*b1 a1*b2 a1*by
a2
.
.
am am*b1 am*b2 am*by
我们可以知道
原文：http://www.cnblogs.com/icodefive/p/4341314.html