https://123dok.org/document/yj7j496k-notes-bases-and-linear-mappings.html