A nonconstructive proof proves that something exists without showing how to find it.