  Let $(X,\omega_X)$ be a derived scheme with a 0-symplectic form and suppose
there is a Hamiltonian $G$-action with a moment map for $G$ a reductive group.
We prove, under no further assumptions, that symplectic reduction along any
coadjoint orbit in the category of derived Artin stacks has a 0-symplectic
form.
