All identically conserved gravitational tensors are metric variations of an action

Abstract

I prove an old unsolved conjecture, the hard part of its obvious sufficiency, namely that all identically conserved symmetric two-tensors are necessarily metric variations of invariant actions, thus sparing the world more alternative gravity theories. The proof is reasonably simple, if perhaps a physicist's.