"nicht konstruktiver Beweis" Englisch