巡回加群の直和の随伴ブックスバウム・リム重複度公式