for an−1 · · · a1a0 ∈ V (Hkn ). Den

for an−1 · · · a1a0 ∈ V (Hk
n ). Denote by G(Sk) the set {gσ | σ ∈ Sk}. G(Sk) is canonically
isomorphic to Sk . In step 1 that follows, we show that any element of G(Sk) is an
element of G(Hk
n ). We then show, in step 2, that each element of G(Hk
n ) arises as an
element of G(Sk), completing the proof of the main theorem.

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

สำหรับ-1 ··· a1a0 ∈ V (Hk
n) แสดงว่าโดย G (SK) ชุด {gσ | σ∈ Sk} G (Sk) เป็น canonically
isomorphic เพื่อ Sk ในขั้นตอนที่ 1 ว่าต่อไปนี้เราแสดงให้เห็นว่าองค์ประกอบของ G ใด ๆ (Sk) เป็น
องค์ประกอบของ G (Hk
n) จากนั้นเราจะแสดงให้เห็นในขั้นตอนที่ 2 ว่าในแต่ละองค์ประกอบของ G (Hk
n) ที่เกิดขึ้นในฐานะที่เป็น
องค์ประกอบของ G (SK) เสร็จพิสูจน์ทฤษฎีบทหลัก

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

เป็น− 1 · · · a1a0 ∈ V ( HK
n ) แสดงโดย จี ( SK ) ชุดσ | σ∈ SK { G } กรัม ( SK ) canonically
พวกเรา SK . ในขั้นตอนที่ 1 นั้นคือ เราพบว่าองค์ประกอบใดของ G ( SK ) เป็นองค์ประกอบของ G ( HK

n ) เราแสดงให้ ในขั้นตอนที่ 2 ที่แต่ละองค์ประกอบของ G ( HK
n ) เกิดขึ้นเป็นองค์ประกอบ
G ( SK ) เสร็จสิ้นการพิสูจน์ทฤษฎีบทหลัก