I need to use the following theorem:

Let $\mathfrak{g}$ be a semisimple real Lie algebra, $\Sigma$ a set of restricted roots for $\mathfrak{g}$. Let $\rho$ be any finite-dimensional representation of $\mathfrak{g}$. Then any restricted weight $\lambda$ of $\rho$ satisfies $$ \forall \alpha \in \Sigma,\quad 2\frac{\langle \lambda, \alpha \rangle}{\langle \alpha, \alpha \rangle} \in \mathbb{Z}. $$

The case of non-restricted weight and roots is of course well-known and easily found in the literature. For the general result, the closest things I found are Propositions 4.21 to 4.23 in S. Helgason, Geometric Analysis on Symmetric Spaces; and the last page of the proof of Theorem 8.49 in A.W. Knapp, Lie Groups Beyond an Introduction. But neither of these two passages gives quite exactly the result I am looking for.

I am not asking for a proof: I already have one (it is not very hard). But it looks like such a basic thing that it should already be written somewhere. If anyone knows any reference it would be very much appreciated!