がformula_1のとき,加群の層はアーベル群の層(すなわちアーベル層)と同じである.