Proof in graph theory of the 'no gain' property of resistor networks