https://9dok.net/document/z1d4merd-besitzt-ein-vektorraum-v-eine-endliche-basisb-b.html