Finite matchability under the matroidal Hall's condition

Aharoni and Ziv conjectured that if $ M $ and $ N $ are finitary matroids on $ E $, then a certain ``Hall-like'' condition is sufficient to guarantee the existence of an $ M $-independent spanning set of $ N $. We show that their condition ensures that every finite subset of $ E $ is $ N $-spanned by an $ M $-independent set.