Proof of the existence: Difference between revisions