theorem Th35: :: NOMIN_1:35

for V, A being set
for S1, S2 being FinSequence
for D1, D2 being NonatomicND of V,A st D1 tolerates D2 & S2 IsNDRankSeq V,A & S1 c= S2 & D1 in Union S1 & D2 in Union S2 holds
D1 \/ D2 in Union S2