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