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