The Works of Archimedes: BOOK OF LEMMAS