Johnson's theorem