A Proof of Fejes Toths Conjecture on Sphere Packings with Kissing Number Twelve

In 1969, Fejes Toth conjectured that in Euclidean 3-space any packing of equal balls such that each ball is touched by twelve others consists of hexagonal layers. This article verifies this conjecture.