A property of the circuit characteristic polynomial