https://123dok.net/document/yeeex64y-vpspace-and-a-transfer-theorem-over-the-reals.html