https://123dok.net/document/zlgvd34l-pseudo-linear-algebra-over-a-division-ring.html