https://9lib.co/document/z3dl4mj7-vector-spaces.html