$\exists \implies \forall$ I want to see some example theorem, when existence implies universality, so $\exists \implies \forall$ is true.
I think matematical induction is a related technique, but I just don't see that induction covers the whole topic. On the other hand, there are some situation, when existence implies that the statemant is true for "some" element. For example in the fundamental theorem of algebra the existence of one root is equivalent of the existence of exactly n roots.
So I expect some example. Thanks.

This's an example from linear algebra:
Let $f\colon\Bbb R^n\rightarrow R^n$ a linear transformation.
these statements are equivalent 


*

*$f$ is orthogonal

*$f$ maps an orthonormal basis to an orthonormal basis

*$f$ maps every orthonormal basis to an orthonormal basis

