Proof of the existence