In algebraic geometry, dévissage is a technique introduced by Alexander Grothendieck for proving statements about coherent sheaves on noetherian schemes. Dévissage is an adaptation of a certain kind of noetherian induction. It has many applications, including the proof of generic flatness and the proof that higher direct images of coherent sheav...