 Ẹka ọrọ 1: níbi tí ìràwọ náà ti ń tọka sí ẹgbẹ méjì algebraic. Pẹlupẹlu nigbati  G jẹ opin, nibẹ ni isomorphism ti ko ni ẹda Ẹsẹ 2: Níbi tí ìràwọ náà ti pe ẹgbẹ méjì algebraic, ó jẹ isomorphism tí kò jẹ ti ẹdá nígbà tí  G jẹ òpin. Ìbéèrè: Ṣé ohun kan náà ni gbólóhùn 1 àti gbólóhùn 2 túmọ sí? Ṣé Bẹẹ ni àbí Bẹẹ kọ? : Bẹẹ ni 