theorem Th50: :: PROB_3:50

for X being set
for F1 being FinSequence of bool X holds dom (Complement F1) = dom F1