(№ || x) № || y ist nicht beweisbar.


23