アーベル群の基本定理からも>>789 したがって >>795 が出ることは明らかだろう。