On the Existence of Completely Saturated Packings and Completely Reduced Coverings

We prove the following conjecture of G. Fejes Toth, G. Kuperberg, and W.Kuperberg: every body K in either n-dimensional Euclidean or n-dimensional hyperbolic space admits a completely saturated packing and a completely reduced covering. Also we prove the following counterintuitive result: for every >0, there is a body K in hyperbolic n-space which admits a completely saturated packing with density less than but which also admits a tiling.