The following pages link to Corollary of Krull-Remak-Schmidt theorem for cancellation of factors in direct product: