theorem :: MSAFREE2:1

for G being non empty void ManySortedSign holds InputVertices G = the carrier of G ;