If equals be added to equals, the wholes are equal