![](attachments/Pasted%20image%2020221111231621.png)![](attachments/Pasted%20image%2020221106015134.png)
![](attachments/Pasted%20image%2020220124224058.png)
![](attachments/Pasted%20image%2020221106015107.png)
![Statement of Nakayama's lemma](attachments/Pasted%20image%2020220114164559.png)
![Proof](attachments/Pasted%20image%2020220114164618.png)
![](attachments/Pasted%20image%2020220120131628.png)