Title: Extended Formulations for Polytopes of Regular Matroids,
Abstract: We present a simple proof of the fact that the base (and independence)
polytope of a rank $n$ regular matroid over $m$ elements has an extension
complexity $O(mn)$.