theorem Th16: :: ARMSTRNG:16

for X being set holds rng (Dependencies-Order X) = [:(bool X),(bool X):]