Prime decomposition (3-manifold)