Redirecting to Prime decomposition (3-manifold)