theorem Th8: :: YELLOW13:8
for N being non empty Poset holds IdsMap N is V13()