  We consider classical type II supergravity with arbitrary fluxes, Dirichlet
branes and orientifold planes and prove that a four-dimensional
compactification of this theory can never correspond to a metastable de Sitter
state.
