Adds correct proof of LP completeness.