> 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 pr

> 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.