Matroid Greedy Theorem