Does anyone have a short and simple proof of the theorem:

"Letpbe a prime number. Then there exists a positive real numberxsuch thatx^2 =p."

The proof I have of this theorem is very long and complicated... or maybe all proofs of this theorem are long and complicated?