heilbronn_k_point_conjecture