Simplified combined proof for ABP's lemma1.
Cosmetic changes.
 [ doc ] Added proposition number.
[ doc ] Fixed.
Minor changes.