added prop 2.3 and proof