added proof of prop 2.6