삽입정렬 알고리즘 코드 설명좀 부탁드려요

[기본행변형(boastar)]

1.왜 a_j > a_i로 두고 i :=i+1로 할당하는지

2.왜 m :=a_j로 두는지

3.왜 k=0부터 j-i-1까지 두고 a_(j-k) :=a_(j-k-1)로 할당하는지

4.이리하여 결론이 a_i :=m으로 도출되는 과정을 순서대로

설명좀 부탁드립니다.

[기본행변형(boastar)]

중간에 while문 앞이 아니라 뒤에 i :=i+1이 나오는 이유를 알고 싶습니다. j는 2부터 시작하니까 그대로 따라하면 a_2>a_1일때

[기본행변형(boastar)]

i에 i+1을 넣으라는 말 같은데 a_2>a_1이면 이미 바르게 정렬되어 있는 상태인데 왜 i :=i+1을 하라는 것인지 모르겠습니다

[기본행변형(boastar)]

저는 프로그래밍을 다룰줄 모르고 이산수학을 공부하다가 코드가 나와서 해석해보려고 하는건데 잘 안되네요 질문대로 도와주시면 고맙겠습니다