[partial_greedy_theorem.png]