Hereditariness of Direct Sum Decomposition to Direct Summand

• 直和分解对直和项的遗传性