==> geometry/construction/square.with.compass.p <==
Construct a square with only a compass and a straight edge.