يمكن اثبات ذلك بالتناقض : نفرض أن : فاي ليست مجموعة جزئية من س اذن يوجد عنصر أ ينتمي الى فاي بحيث أ لاينتمي الى س ولكن فاي خالية (تناقض) اذن الفرض خالية اذن فاي مجموعة جزئية من س
عمر رمضان