theorem Th37: :: FACIRC_1:37

for S being non empty unsplit ManySortedSign holds InnerVertices S = the carrier' of S