الجملة 1: هيك، مجموعات ابيل الجهازية في فئة مجموعات ابيل قابلة للقسمة، والعكس صحيح، كل مجموعة جهازية (باير-معيار) قابلة للقسمة. الجملة الثانية: اذاً المجموعات القابلة للقسمة هي وحدات ضخمة في فئة المجموعات الآبلية، وعلى العكس، كل مجموعة آبلية ضخمة قابلة للقسمة (معيار باير). السؤال: هل الجملة الاولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟