Verification of Thevenin Theorem