https://1library.org/document/yj74mp3k-let-v-be-finite-dimensional-real-vector-space.html