Kepler conjecture — mathematical theorem about sphere packing