The Inevitability and Ubiquity of Cycling in All Feasible Legal Regimes: A Formal Proof