theorem :: NOMIN_1:57

for x being object holds <*x*> is NonatomicND of {1},{x}