https://9dok.net/document/qo519785-zeige-konstruierbare-teilmenge-spera-quasikompakt.html