https://9dok.net/document/zx5ojwgn-der-positiven-reellen-zahlen-und-denieren-die-verknüpfungen.html