  Semiclassical methods provide important tools for approximating solutions in
quantum mechanics. In several cases these methods are intriguingly exact rather
than approximate, as has been shown by direct calculations on particular
systems. In this paper we prove that the long-conjectured exactness of the
supersymmetry-based semiclassical quantization condition for broken
supersymmetry is a consequence of the additive shape invariance for the
corresponding potentials.
