for S being one-gate ManySortedSign holds InnerVertices S = {(Output S)}