A Proofs A.1 Proofs for Provable Convergence A.1.1 Proof of Property 1 Lemma 2. Denote g as the optimal solution to the Stochastic Subregion Frank-Wolfe algorithm and g