for G being non empty ManySortedSign holds InputVertices G misses SortsWithConstants G