Redirecting to Krull-Schmidt theorem