یعنی اگه افراز دلخواهی از مجموعه اعداد حقیقی رو درنظر بگیریم آنگاه سیگما جبر تولید شده توسط اون افراز مساوی سیگما جبر بورل نمیشه.میشه اینجور استدلال کرد که به فرض چنین افرازی وجود داره اونوقت چون یکانی ها بورل اند پس ناچارا این افراز باید یکانی باشه یعنی باشه {1} و {2}و...حالا چون سیگما جبر تولید شده توسط افرازها میشه اجتماع سیگما جبر تولید شده با این یکانی ها و این سیگما جبر هم میشه اعضایی که یا خودشون یا متتممشون شمارا هستن پس به تناقض می رسیم چون مثلا بازه (1و2) نه خودش شماراست و نه متتممش و توسط یکانی ها تولید نمیشه.پس فرض خلف باطله.
یکم ناجور نوشتم.