long exact sequenceは
岡の第一論文の発展形