Nonconstructive proof