theorem Th53: :: FACIRC_1:53

for x, y, z being object
for X being non empty finite set
for f being Function of (3 -tuples_on X),X
for s being State of (1GateCircuit (<*x,y,z*>,f)) holds Following s is stable