Re: [math-fun] Sphere Packing: 5 colors suffice?