archimedes midpoint theorem