[see also: say, state
The spectral radius formula asserts that......
Puiseux's theorem asserts the existence of......
Here is a more explicit statement of what the theorem asserts.
To prove the asserted convergence result, first note that......