Katherine's theorem