“In other words, if geometry was top-down mathematics, the method of indivisibles was bottom-up mathematics.”