Title: The ruler in geometrical constructions