theorem Th40: :: TWOSCOMP:40

for x, b being non pair set holds InputVertices (BitCompStr (x,b)) = {x,b}