theorem Th42: :: FACIRC_1:42

for f, x, y, z being object holds InputVertices (1GateCircStr (<*x,y,z*>,f)) = {x,y,z}