theorem Th3: :: TRIANG_1:3

for C being non empty Poset
for x being Element of C holds {x} in symplexes C