[greedy_theorem.png]