Content about “non-constructive proof”