proved prop 2.7