ruler-and-compass construction