theorem :: NOMIN_1:60

for a being object
for A being set
for V being non empty set
for v being Element of V holds naming (V,A,<*v*>,a) = naming (V,A,v,a)