https://9dok.net/document/q2npgv0p-vr-untervektorr-aume-eines-endlich-dimensionalen-k-vektorraums.html