Cochran's theorem