The class of binary matroids with no M(K3,3)-, M∗(K3,3)-, M(K5)- or M∗(K5)-minor

We prove that an internally 4-connected binary matroid with no minor isomorphic to M(K3,3),M∗(K3,3),M(K5), or M∗(K5) is either planar or isomorphic to F7 or F7∗. As a corollary, we prove an extremal result for the class of binary matroids without these minors.