for X, Y being set st [:X,X,X,X:] = [:Y,Y,Y,Y:] holds
X = Y