added prop 4.3 with proof