https://123dok.net/document/q5mpmw6w-on-the-mechanization-of-straightedge-and-compass-constructions.html