Remak-Krull-Schmidt theorem