> You just need to prove that non-existence leads to a contradiction.

Indeed however this is the exception, not the rule. The general way to do an existence proof is to construct it.