[LP] proof prop 1 implies prop 2
[LP] merged.