Proof of greedy condition in progress.
Case analysis of the greedy condition completed.