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