Da die beiden Räume verschieden sind, ist in

die erste Inklusion echt und daher muss schon der Gesamtraum sein, also von der Dimension . Nach Fakt ist somit