added and proved prop 2.6