Honeycomb_theorem