A resistor network inequality (alfred lehman)