Theorem that closed 3-manifolds uniquely decompose into pieces with 1 of 8 types of geometric structure