The arrangement of the circles in the diagram is worthy of some discussion. How do we know the surrounding rectangle is a square and that the arrangement gives us the smallest square?