Theorem : Subject to an energy condition, a black hole in any spherically symmetric spacetime must be surrounded by a photon sphere. Conversely, subject to an energy condition, any photon sphere must cover more than a certain amount of matter, a black hole, or a naked singularity.