"nonconstructive proof" Deutsche bedeutung