theorem Th17: :: ARMSTRNG:17

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