InputVertices (1GateCircStr (p,f)) = rng p by CIRCCOMB:42;
hence InputVertices (1GateCircStr (p,f)) is without_pairs ; :: according to CIRCCMB3:def 11 :: thesis: verum