for G being non empty ManySortedSign holds SortsWithConstants G c= InnerVertices G