let f, x, y be object ; :: thesis: InputVertices (1GateCircStr (<*x,y*>,f)) = {x,y}
set p = <*x,y*>;
thus InputVertices (1GateCircStr (<*x,y*>,f)) = rng <*x,y*> by CIRCCOMB:42
.= {x,y} by FINSEQ_2:127 ; :: thesis: verum