theorem :: SETLIM_1:12

for X being set
for B being SetSequence of X st B is constant holds
Union B = Intersection B