theorem :: ZFMISC_1:92

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