theorem Th41: :: FACIRC_1:41

for f being set
for x, y being non pair object holds InputVertices (1GateCircStr (<*x,y*>,f)) is without_pairs