[See constructive geometry.]