㈀(a,b,c,d)∈S : ∃e : (a+b+c+d)^e≡(a*b*c*d)^e