Constructive and Non-constructive proofs.

I am curious if there are any relatively simple examples of a non-constructive proof that can be reworded or written in such a way that it is constructive. I already know Euclid's proof of the infinitude of the prime numbers and the proof that there exist irrational numbers a and b such that a^b is rational. I am looking for any other relatively simple proofs of this nature