theorem :: TWOSCOMP:34

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