theorem
  for s being State of 1GateCircuit(x,y,f) holds Following s is stable by Th49;
