>>423
線型性微分の定義より明らか。
dim(Ker(f)) = dim(Coker(f)) = 0である。