  The codimension-three conjecture states that any regular holonomic module
extends uniquely beyond an analytic subset with codimension equal to or larger
than three. We give a proof of this conjecture.
