bailey's theorem