The intersection of a matroid and an oriented matroid

We prove the following “matroid intersection” theorem: Let M be a matroid with rank function ρ and let O be an oriented matroid of rank r, both defined on the same ground set V and satisfying ρ(V)>r. If every subset S⊂V with ρ(V∖S)