Proof. Let be cyclic generated by a

Proof. Let be cyclic generated by and let be a subgroup of . If = { }, then = is cyclic. If { }, then for some . Let be minimal such that .

We claim that = generates , that is

ผลลัพธ์ (ไทย) 1:

หลักฐานการ ปล่อยให้ถูกทุกรอบสร้างขึ้น และปล่อยให้มีกลุ่มย่อยของ ถ้า ={}, แล้ว =เป็นวัฏจักร ถ้า{}, สำหรับบางคนแล้ว ให้มีขนาดเล็กให้เราอ้างว่า =สร้าง คือ

ผลลัพธ์ (ไทย) 2:

พิสูจน์ อนุญาตจะสร้างวงจรโดยและแจ้งให้เป็นกลุ่มย่อยของ ถ้า = {} แล้ว = คือเป็นวงกลม ถ้า {} แล้วสำหรับบางคน ให้น้อยที่สุดเช่นว่า. เราอ้างว่า = สร้างที่เป็น

ผลลัพธ์ (ไทย) 3:

พิสูจน์ ขอให้เป็นแบบที่สร้างขึ้นโดยให้มีกลุ่มย่อยของ ถ้า = { } = เป็นวงกลมแล้ว . ถ้า { } แล้วสำหรับบาง ให้น้อยที่สุดเช่นว่า

เราอ้างว่า = สร้าง นั่นคือ