theorem Th46: :: CIRCCOMB:46

for f being object
for p being FinSequence holds
( 1GateCircStr (p,f) is unsplit & 1GateCircStr (p,f) is gate`1=arity )