for C being non empty Poset holds {} in symplexes C