Why rob Archimedes of his lemma?