Archimedes used exhaustion to prove his theorems. This involved approximating the figure whose area he wanted to compute into sections of known area, which provide upper and lower bounds for the area of the figure. He then proved that the two bounds become equal when the subdivision becomes arbitrarily fine. These proofs, still considered to be rigorous and correct, used geometry with rare brilliance. Later writers often criticized Archimedes for not explaining how he arrived at his results in the first place. This explanation is contained in "The Method".