Ivory's theorem