theorem :: RELAT_1:173

for x being object holds field {[x,x]} = {x}