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


23