A simple topological graph is k-quasiplanar (k ≥ 2) if it contains no k pairwise crossing edges, and k-planar if no edge is crossed more than k times. In this paper, we explore the relationship between k-planarity and k-quasiplanarity to show that, for k ≥ 2, every k-planar simple topological graph can be transformed into a (k + 1)-quasiplanar simple topological graph.Proof. We use double counting. Let I be the set of all pairs (v, c) ∈ V × B 0 such that v is incident to c. Every cycle is incident to at least two vertices, hence |I| ≥ 2|B 0 |. By Lemma 13, every vertex is incident to at most two interior-disjoint cycles. Consequently, |I| ≤ 2| V(B 0 )|. The combination of the upper and lower bounds for |I| yields |B 0 | ≤ | V(B 0 )|, as claimed.Lemma 21. For every set B ⊆ C of cycles, we have |B| ≤ | V(B)|.Proof. We proceed by induction on the number of cycles in B. In the base case, we have one cycle, which has at least two vertices.Assume |B| ≥ 2, and let B 0 ⊆ B be the set of cycles in B that are maximal for containment. By Lemma 18 the cycles in B 0 are pairwise interior-disjoint, and by Lemma 20, we have |B 0 | ≤ | V(B 0 )|. Induction for B \ B 0 yields |B \ B 0 | ≤ | V(B \ B 0 )|. By Lemma 18, the vertex sets V(B 0 ) and V(B \ B 0 ) are disjoint. The combination of the two inequalities yields |B| ≤ | V(B)|.Lemma 22. There exists an injective function s : C → V that maps every cycle in C to one of its vertices.Proof. Consider the bipartite graph with partite sets C and V , where the edges represent vertexcycle incidences. By Hall's theorem and Lemma 21 (Hall's condition), there exists a matching of C into V , in which each cycle in C is matched to an incident vertex.