Archimedes' Book of Lemmas or Liber Assumptorum is a treatise with fifteen propositions on the nature of circles.