>2a-2c=(p-1)s
>a-c=(g-k)(p-1)だからs=g-k (s>0)
また改竄だったか