لتكن A,B مجموعتين جزئيتين من مجموعة الاعداد الحقيقية بحيثA محتواه في B اثبت ان A' محتواه في B' افرض ان I مجموعة غير خالية ومحدودة في R , وافرض انه اذا كانت :X,Y تنتميان الىI وكانت X