theorem :: TWOSCOMP:30

for x, b being non pair set holds InputVertices (CompStr (x,b)) is without_pairs