>>471
1行目は和とスカラー積のwell-definedを示す、0元、逆元があるのに使う
和の結合性
(ε+η)+δ={(ε(n)+η(n))+δ(n)}={ε(n)+(η(n)+δ(n))}=ε+(η+δ)