Bailey's theorem