ここで "c"1, ..., "cn" は任意で、「右自由加群」への "m"-次元ベクトルを置き換えが行われている。