4-connected polyhedra have at least a linear number of hamiltonian cycles. (October 2021)