The theorem states that IF $\alpha$ is algebraic, THEN [something holds].
It does not state that IF [the same something holds for some number $\beta$] THEN $\beta$ is algebraic.
The theorem states that IF $\alpha$ is algebraic, THEN [something holds].
It does not state that IF [the same something holds for some number $\beta$] THEN $\beta$ is algebraic.