Ja, das ist richtig. Die Doppelwinkelfunktionen sind spezielle Anwendungen der Additionstheoreme.
Ist aber eigentlich nichts seltenes, dass spezielle Anwendungen einer allgemeineren Tatsache eigenständig behandelt werden.
Siehe z.B. auch Cosinus-Satz->Satz des Pythagoras, oder sogar Addieren->Subtrahieren.