>五行目以降なにをしているのか
⇒
python の [def]は関数(サブルーチン)ととらえてください。
即ち実行は6行目からです。
9行目の gcd(a,b) にて *最初の* gcd()呼出しが始まります。
以降5行目が再帰呼出しとなります。
※
再帰呼出しタイプの王道(?)はドン付きまで辿り着いて復帰を繰返す。
この場合 [b が0]。
それを踏まえてトレースしてみると良いでしょう
step | a b | 備考
------+------------+-----------------
1 | 126 35 | 最初の呼出し
2 | 35 21 | gcd(b, a%b)
3 | 21 14 | gcd(b, a%b)
: | : : | gcd(b, a%b)
━