baileys theorem