theorem :: NOMIN_1:66

for V, A being set
for D being NonatomicND of V,A holds global_overlapping (V,A,D,D) = D