nonconstructive proof