If for any pair of neighbouring sharks $i$ and $j$ the product $s_{i}·s_{j}$ is divisible by $p$

翻译应该是

如果相邻两个人的数的乘积可以由 $p$ 整除

而不是

如果相邻两个人的数的乘积可以整除 $p$