A useful identity in circuit theory