结论转换成逆反式,即证：如果x mod 35 = y mod 35 ,则（x,y）∈ S.S
证明：若x mod 35 = y mod 35 ,则存在k∈Z使得 x-y=35*k (*表示乘法）
则x-y=5*（7*k）且x-y=7*（5*k）,若k为整数,则7*k和5*k也是整数.
故 x mod 5 = y mod 5 ^ x mod 7 = y mod 7
故（x,y）∈ S,又（x,x）∈ S（因为x mod 5 = x mod 5 ^ x mod 7 = x mod 7）
所以（x,y）∈ S.S