Dachprodukt/Endlichdimensional/Dimensionsangabe/Fakt/Beweis