The Wikipedia section focuses on a property that can be derived by using this theorem, namely the total energy. It also does not take the same route of explaining the surjective/injective/bijective reasoning, instead looking at the consequences of this being true.