[Beetle]

จงพิสูจน์ว่า กึ่งกลุ่มซึ่งเป็นเซตอันตะ (finite set) และมีกฎการตัดออกทางซ้ายและขวาเป็นจริง จะเป็นกลุ่ม