Integrality of O_X
Bézout property of O_X (work in progress)