On the number of 4-contractible edges in 4-connected graphs

We prove that every finite 4-connected graph G has at least many contractible edges.