Casey’s theorem