Before revision: If implies for all (real) values of , then with respect to terminals ab and xy , circuit 1 and circuit 2 are equivalent.
After revision: If implies for all (real) values of , then with respect to terminals and , circuit 1 and circuit 2 are equivalent.