I agree that they are not fully independent theorems as the second one is built on the first. But I do think they are and should be separate theorems as the 2nd one introduces the practical idea of how to find the ground-state density by minimizing energy which is different from the idea of the 1st theorem saying that the density defines the external potential.