There is a distinction between the two theorems: the first is more fundamental, establishing the one-to-one relationship, while the second simply describes how the energy behaves. So, while they address roughly the same subject, the second is not strictly a continuation of the first.
.
